#ifndef __GKOS_MEMCTRL_H
#define __GKOS_MEMCTRL_H

extern void memset_S(void* dst, uint8_t value, uint32_t size);

#endif